Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Baumrind provides a fifty-year updating of her pioneering, extraordinarily influential ethical critique of the Milgram obedience experiments. She essentially reaffirms her earlier objections. These include the extensive use of deception, particularly in the informed consent phase, the destructive obedience exhibited by Milgram’s research personnel, violations of the experimenter’s fiduciary role of trust and empathy, the likelihood of lasting psychological harm experienced by at least some participants, and unwarranted generalizations made to the Nazi Holocaust in World War II. I consider each (...) of these concerns, among others, and find areas of agreement and disagreement with Baumrind. Her argument against the use of deception in the informed consent phase is convincing, as is her cautionary stance on generalizations made to the Nazi genocide. I take issue with her views on lasting harm, the epistemological value of deception, and the experimenter as fiduciary. Regardless of one’s agreement with Baumrind, her ethical arguments, considered in historical context, remain integral to an understanding of the impact of the obedience experiments. Her views have been seminal in changing the ethical monitoring of research with human participants. (shrink)

This compelling work brings together an array of distinguished scholars to explore key concepts, theories, and findings pertaining to some of the most fundamental issues in social life: the conditions under which people are kind and helpful to others or, conversely, under which they commit harmful, even murderous, acts. Covered are such topics as the complex interaction of individual, societal, and situational factors underpinning good or evil behavior; the role of guilt and the self-concept; and issues of responsibility and motivation, (...) including why good people do bad things. The volume also examines whether aggression and violence are inescapable aspects of human nature, and how cooperative interaction can break down stereotyping and discrimination. (shrink)

The political prophecy ascribed to John of Bridlington consists of twenty-nine poems, each about twenty to thirty lines long in rhyming hexameters; in four manuscripts it is accompanied by a prose commentary, which explains the cryptic codes and interprets the prophecies.1 The Commentary is “signed” in a cryptogram “Ergom,” that is, John Ergom , an Austin friar of the priory at York. Recent scholarly opinion has generally held that the attribution to John of Bridlington, John Thwenge, is a late fiction, (...) as contemporaries would not attribute a “prophecy” to someone who had manifestly witnessed the events that he claimed to foretell; and that Ergom himself was the author of both the Prophecy and the Commentary. Only Paul Meyvaert has dissented from the second view, arguing that Ergom did not make use of the attribution to “Robert the Scribe,” which was attached to the poem in its earliest version; Meyvaert also notes that Ergom's version of the Prophecy lacked verses found in other manuscripts and that Ergom did not have the command of vocabulary shown by the original author. The most recent investigator, Michael J. Curley, has presented both sides of the argument judiciously; in favor of Ergom's authorship he draws attention to the commentator's interpretative skill, which, he argues, could only have come from an author's knowledge of the meaning of the poem. (shrink)

Norris, McQueen & Cutler claim that Merge is an autonomous model, superior to the interactive TRACE model and the autonomous Race model. Merge is actually an interactive model, despite claims to the contrary. The presentation of the literature seriously distorts many findings, in order to advocate autonomy. It is Merge's interactivity that allows it to simulate findings in the literature.

In a continuum of past and present, "Pittsburgh Then and Now" portrays the city through 161 pairs of matching photographs. Each archival image, culled from old books, municipal records, and library collections, was rephotographed in 1986-89 from the same camera position, forming an evocation of the past and a record of urban continuity and change. "Pittsburgh Then and Now" recalls specific locations in the city of the past and then compares them to the present, showing both how much and how (...) little Pittsburgh has changed. Most of the pairs of photographs illustrate continuity with the past, features that have remained over the decades. A steep residential street in Perry Hilltop, for example, is little changed, and a jagged hillside staircase on the South Side is still in use. Other images document urban change. Massive Duquesne Gardens, on Craig Street in Oakland, is shown alongside the University Square Apartments of the present. The old Loew's Penn Theatre on Sixth Street in 1935 is copared to its modern manifestation as Heinz hall, 1987. The pre-Renaissance cornor of Stanwyx Street and Penn Avenue is recalled before the Gateway buildings were constructed.This journey into the past shows how change and continuity have mingled in the city landscape, reveling Pittsburgh as it has evolved from architecutral styles that reflected turn-of-the-century eclecticism to the more recent styles labeled "modernist" and "postmodernist, " from horse to streetcar to automobile, and from steel mills to high-technology centers. "Pittsburgh Then and Now" is a treasury of photographic images for those who remember the old Pittsburgh, those who are curious about its past, and anyoneinterested in the evolution of a city. (shrink)

Few accounts have survived detailing the techniques employed for the production of optical glass for astronomical and microscopical instruments during the seventeenth century in Italy; the period during which the art was being developed in the shops of Eustachio Divini and Giuseppe Campani, and other optical instrument-makers. Indeed, few of the tools of the lens-makers have been described in any detail, and few if any have survived. Consequently, the discovery of a hitherto apparently unknown Italian treatise, or what appears to (...) have been notes for a shop manual of the period, is a contribution to present knowledge of lens-making technology even though the identity and region of the author remain unknown. (shrink)

Data are lacking with regard to participants' perspectives on return of genetic research results to relatives, including after the participant's death. This paper reports descriptive results from 3,630 survey respondents: 464 participants in a pancreatic cancer biobank, 1,439 family registry participants, and 1,727 healthy individuals. Our findings indicate that most participants would feel obligated to share their results with blood relatives while alive and would want results to be shared with relatives after their death.

Fixity and freedom.--Law and love.--Authority and experience.

Objective: To assess the adequacy of the process of informed consent for surgical patients at the University Hospital of the West Indies. Method: The study is a prospective, cross-sectional, descriptive study. 210 patients at the University Hospital of the West Indies were interviewed using a standardised investigator-administered questionnaire, developed by the authors, after obtaining witnessed, informed consent for participation in the study. Data were analysed using SPSS V.12 for Windows. Results: Of the patients, 39.4% were male. Of the surgical procedures, (...) 68.6% were scheduled, 7.6% urgent and 23.8% emergency, 35.2% were minor and 64.8% major. Information imparted/received was acceptable in 40% of cases, good in 24% and inadequate (unacceptable) in 36% of cases. Almost all (97.6%) patients stated that they understood why an operation was planned and 93.3% thought that they had given informed consent. Most (95.2%) thought that they had free choice and made up their own mind. A quarter (25.2%) of all patients were told that it was mandatory for them to sign the form. There was a discussion of possible side effects and complications in 56.7% of patients. Conclusions: This study clearly indicates that surgical patients at the University Hospital of the West Indies feel that they have given informed consent. However, it also suggests that more information should be given to patients for consent to be truly informed. (shrink)

Nanomedicine is yielding new and improved treatments and diagnostics for a range of diseases and disorders. Nanomedicine applications incorporate materials and components with nanoscale dimensions where novel physiochemical properties emerge as a result of size-dependent phenomena and high surface-to-mass ratio. Nanotherapeutics and in vivo nanodiagnostics are a subset of nanomedicine products that enter the human body. These include drugs, biological products, implantable medical devices, and combination products that are designed to function in the body in ways unachievable at larger scales. (...) Nanotherapeutics andin vivonanodiagnostics incorporate materials that are engineered at the nanoscale to express novel properties that are medicinally useful. These nanomedicine applications can also contain nanomaterials that are biologically active, producing interactions that depend on biological triggers. Examples include nanoscale formulations of insoluble drugs to improve bioavailability and pharmacokinetics, drugs encapsulated in hollow nanoparticles with the ability to target and cross cellular and tissue membranes and to release their payload at a specific time or location, imaging agents that demonstrate novel optical properties to aid in locating micrometastases, and antimicrobial and drug-eluting components or coatings of implantable medical devices such as stents. (shrink)